Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
A normalisation result for higher-order calculi with explicit substitutions : | Bonelli, Eduardo |
(2003) |
---------- | |
Tesis |
Evolución de redes neuronales mediante sistemas de reescritura: | García, Esteban Andrés |
(2003) |
Sala
|
---------- |
Artículo |
Relating higher-order and first-order rewriting : | Bonelli, Eduardo |
(2005) |
---------- | |
Artículo |
de Bruijn indices for metaterms : | Bonelli, Eduardo |
(2005) |
---------- |